/* fsl_device_registers.h */

#ifndef __FSL_DEVICE_REGISTERS_H__
#define __FSL_DEVICE_REGISTERS_H__

#include "MK64F12.h"
#include "core_cm4.h"

#endif /* __FSL_DEVICE_REGISTERS_H__ */
